Article 1415

Title of the article

STRUCTURE VERIFICATION ALGORITHM OF A THREE-DIMENSIONAL ADAPTIVE APPLICATION

Authors

Evseeva Yuliya Igorevna, Postgraduate student, Penza State University (40 Krasnaya street, Penza, Russia), shymoda@mail.ru

Index UDK

004.94

Abstract

Background. The problem of creating an automated synthesis system of threedimensional adaptive applications (TDAA) is quite relevant now. Such system is especially useful in education, because it allows teachers, who do not have programming skills, to develop their own simulators and training programs. Such programs may use the advantage of three-dimensional graphics and the ability to adapt to a student. However, since such system involves working with an inexperienced user, it is necessary to develop methods of user's algorithmic solutions verification. The aim of this work is to develop such methods.
Materials and methods. To solve this problem the author applied the mathematical apparatus of the graph theory, in particular, the hypergraph representation of software structure.
Results. The developed algorithm is a modification of the full crawl oriented hypergraph algorithm. The researcher formalized basic procedures for working with a partial configuration - adding and removing an arbitrary vertex, completion of the partial configuration and its transformation into a full configuration by adding the missing vertex from the head sets of hyperedges. The developed algorithm also allows to effectively handle a sequence of configurations. The use of the algorithm allows to find and correct mistakes made by non-professional users in design of threedimensional adaptive programs.
Conclusions. The developed algorithm makes it possible not only to detect inaccuracies in software logical structure design, but also to revise an incorrect configuration.

Key words

three-dimensional adaptive application, oriented hypergraph, software design, variability modeling, verification iterative algorithm.

Download PDF
References

1. Apel S., Batory D., Kästner C., Saake G. Feature-Oriented Software Product Lines: concepts and implementation. Berlin: Springer, 2013, pp. 36–45.
2. Czarnecki K., Wasowski A. SPLC '07 Proceedings of the 11th International Software Product Line. Washington, USA: IEEE Computer Society Washington, 2007, pp. 68–70.
3. Bozhday A. S., Evseeva Yu. I. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings. Volga region. Engineering sciences]. 2015, no. 1 (33), pp. 5–18.
4. Emelichev V. A., Mel'nikov O. I., Sarvanov V. I., Tyshkevich R. I. Lektsii po teorii grafov [Lectures on the graph theory]. Moscow: Nauka, 1990, pp. 90–97.

 

Дата создания: 12.05.2016 10:48
Дата обновления: 12.05.2016 12:28